Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 8.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000851 | Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard |
| 001959 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Loops and overloops for Tree Walking Automata |
| 001A18 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | On Positive TAGED with a Bounded Number of Constraints |
| 001A53 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | From Linear Temporal Logic Properties to Rewrite Propositions |
| 002057 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | From Linear Temporal Logic Properties to Rewrite Propositions |
| 002230 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Loops and Overloops for Tree Walking Automata |
| 002977 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Random Generation of Positive TAGEDs wrt. the Emptiness Problem |
| 003213 | Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | {SAT} Solvers for Queries over Tree Automata with Constraints |
| This area was generated with Dilib version V0.6.33. |  |